M. Borga; "On Some Proof Theoretical Properties of the Modal Logic GL"